#include <stdio.h>
int main(void)  {
	return printf("Hello world\n");
}
